<?php echo "append\n";
